Issue2833.agda:11,1-13,2
Cannot split into projections because not all clauses have a
projection copattern
when checking the definition of h
